Search Results for 'concurrency bugs'

concurrency bugs published presentations and documents on DocSlides.

Learning from Mistakes: A Comprehensive Study on Real-World
Learning from Mistakes: A Comprehensive Study on Real-World
by cheryl-pisano
Ben Shelton. Motivation. Concurrent programming i...
Concurrency Issues Motivation, Problems, Directions
Concurrency Issues Motivation, Problems, Directions
by min-jolicoeur
Dennis Kafura - CS 5204 - Operating Systems. 1. D...
Concurrency Issues
Concurrency Issues
by debby-jeon
Motivation, Problems, Directions. Dennis Kafura -...
On Concurrency Idioms and their Effect
On Concurrency Idioms and their Effect
by jane-oiler
on Program . Analysis. Weizmann Institute . of Sc...
Lazy Diagnosis of  In-Production Concurrency Bugs
Lazy Diagnosis of In-Production Concurrency Bugs
by briana-ranney
Baris Kasikci, . Weidong. Cui, Xinyang Ge, Ben ....
Lazy Diagnosis of  In-Production Concurrency Bugs
Lazy Diagnosis of In-Production Concurrency Bugs
by marina-yarberry
Baris Kasikci, . Weidong. Cui, Xinyang Ge, Ben ....
Guoliang
Guoliang
by alida-meadow
 . Jin, Linhai.  . Song, Wei Zhang. , . Shan. ...
Automated Atomicity-Violation
Automated Atomicity-Violation
by trish-goza
Automated Atomicity-Violation Fixing Guoliang Ji...
Lecture 13 Concurrency Bugs CV rules of thumb: Keep  state in addition to CV’s
Lecture 13 Concurrency Bugs CV rules of thumb: Keep state in addition to CV’s
by pamella-moone
Lecture 13 Concurrency Bugs CV rules of thumb: Ke...
Maple: A Coverage-Driven Testing
Maple: A Coverage-Driven Testing
by stefany-barnette
Tool for Multithreaded Programs. Chunkun. . Bo. ...
Model-based Kernel Testing for Concurrency Bugs through Cou
Model-based Kernel Testing for Concurrency Bugs through Cou
by tawny-fly
Moonzoo Kim. , Shin Hong, Changki Hong. Provable ...
What Change History Tells Us about Thread Synchronization
What Change History Tells Us about Thread Synchronization
by alexa-scheidler
Rui. . Gu. , . Guoliang. . Jin. , . Linhai. So...